home *** CD-ROM | disk | FTP | other *** search
/ Turnbull China Bikeride / Turnbull China Bikeride - Disc 1.iso / ARGONET / PD / PROGRAMMING / LCLINT-D.SPK / lclint / guide / setname.h < prev    next >
Encoding:
C/C++ Source or Header  |  1996-08-26  |  111 b   |  7 lines
  1. typedef /*@abstract@*/ struct
  2. {
  3.   char *name;
  4. } *employee;
  5.  
  6. extern void setName (employee e) /*@modifies e@*/;
  7.